(check (= (* 5.2 4.0) 20.8))
